- self-distributive law of implication
- закон самодистрибутивности импликации
English-Russian scientific dictionary. 2008.
self-distributive law of implication
Смотреть что такое "self-distributive law of implication" в других словарях:
Natural law — For other uses, see Natural law (disambiguation). Natural law, or the law of nature (Latin: lex naturalis), is any system of law which is purportedly determined by nature, and thus universal.[1] Classically, natural law refers to the use of… … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Augustus De Morgan — (1806 1871) Born 27 June 1806( … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Negotiation — For Wikipedia s negotiation policy, see Wikipedia:Negotiation. For other uses, see Negotiation (disambiguation). Treaty of Trianon negotiations … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Please Teacher! — Onegai Teacher Vol 1 DVD cover featuring Mizuho Kazami おねがい☆ティーチャー (Onegai ☆ Teacher) … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
